Revision: tla-tools--devo--0--patch-21
Archive: miles@gnu.org--gnu-2005
Creator: Miles Bader <miles@gnu.org>
Date: Thu Apr  7 13:04:03 JST 2005
Standard-date: 2005-04-07 04:04:03 GMT
Modified-files: ChangeLog tla-cvs-sync.shpp
New-patches: miles@gnu.org--gnu-2005/tla-tools--devo--0--patch-21
Summary: tla-cvs-sync: Don't do a tree-lint before CVS update

